#include <printk.h>
#include <pm.h>
#include <kernel.h>
#include <interrupt.h>
#include <pic_8259A.h>
#include <clock_8253.h>
void vga_info(void);
/*
 *  arch_main
 */
void arch_main(void)
{
    arch_gdt_init();
    arch_idt_init();
    arch_int_init();                        /*   初始化 8259A 中断控制器  */
    arch_clock_init();                      /*   初始化 硬件时钟   */
    vga_info();
    mem_info();
}